\section{Lifting DSLTrans}
\label{section:lifting_dsltrans}

What does it take to produce a lifted version of DSLTrans

\subsection{Theoretical issues}
{\bf Michalis does}

What does it mean theoretically -- what issues needed to be solved 

\subsection{Implementation issues}
{\bf Levi does}

What implementation changes needed to be made in order to produce this new
lifted DSLTrans
